From: Marco Trevisan (Treviño) <mail@3v1n0.net>
Date: Thu, 3 Aug 2017 13:51:42 +0000 (+0200)
Subject: layout: Add scale property to Monitor
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~888^2^2~54
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=deead2af97fd2c8e2fc154ba5a57c091d6213b40;p=gnome-shell.git

layout: Add scale property to Monitor

https://bugzilla.gnome.org/show_bug.cgi?id=765011
---

diff --git a/js/ui/layout.js b/js/ui/layout.js
index c25cd474d..b6cf05c13 100644
--- a/js/ui/layout.js
+++ b/js/ui/layout.js
@@ -146,12 +146,13 @@ var MonitorConstraint = GObject.registerClass({
 });
 
 var Monitor = class Monitor {
-    constructor(index, geometry) {
+    constructor(index, geometry, geometry_scale) {
         this.index = index;
         this.x = geometry.x;
         this.y = geometry.y;
         this.width = geometry.width;
         this.height = geometry.height;
+        this.geometry_scale = geometry_scale;
     }
 
     get inFullscreen() {
@@ -318,7 +319,9 @@ var LayoutManager = GObject.registerClass({
         this.monitors = [];
         let nMonitors = display.get_n_monitors();
         for (let i = 0; i < nMonitors; i++)
-            this.monitors.push(new Monitor(i, display.get_monitor_geometry(i)));
+            this.monitors.push(new Monitor(i,
+                                           display.get_monitor_geometry(i),
+                                           display.get_monitor_scale(i)));
 
         if (nMonitors == 0) {
             this.primaryIndex = this.bottomIndex = -1;